Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking

SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot

Source URL: www.ieee-security.org

• Philosophy
• Epistemology
• Philosophy of science
• Epistemology of science
• Analytic philosophy
• Scientific method
• Falsifiability
• Science
• Hypothetico-deductive model
• Scientific theory
• Occam's razor
• Theory

CURRICULUM VITAE CHARITY KERSEY BUTCHER Associate Professor of Political Science July 3, 2018 Office: Department of Political Science

Source URL: ksuweb.kennesaw.edu

• Cobb County
• Georgia
• Kennesaw State University
• Kennesaw
• Georgia
• Marietta
• Georgia
• Peace and conflict studies
• Geography of Georgia U.S. state)

Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published

Source URL: qav.comlab.ox.ac.uk

• Experiment
• Mathematical optimization
• Vilfredo Pareto
• Microeconomics
• Multi-objective optimization
• Multiple-criteria decision analysis
• Probability space
• Event
• Markov decision process
• Pareto efficiency
• Mathematical analysis
• Economics

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

Source URL: www.cs.man.ac.uk

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington

Source URL: www.ieee-security.org

• Humancomputer interaction
• Reality
• Computing
• User interface techniques
• Augmented reality
• Mixed reality
• Virtual reality
• Multimodal interaction
• Microsoft HoloLens
• Head-mounted display
• Internet privacy
• JavaScript

June 28, 2018 APSA Statement on Trump v. Hawaii Ruling The American Political Science Association stands by its previous condemnations (from January 30, 2017 and March 7, 2017) of the administration’s executive actions

Source URL: www.apsanet.org

• American Political Science Association
• Dupont Circle
• APSA
• Sonia Sotomayor
• Trump v. Hawaii
• Political science
• Politics of the United States
• United States

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

Source URL: cgi.csc.liv.ac.uk

• Software engineering
• Java Pathfinder
• Computer programming
• Computing
• Const
• Obfuscation
• Assembly languages
• Programming language syntax
• Java
• P-code machine

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo

Source URL: arxiv.org

Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol

Source URL: www.ieee-security.org

• System software
• Computing
• Utility software
• Computer network security
• Computer security
• Configuration management
• Network architecture
• Software-defined networking
• Intrusion detection system
• Snort
• OpenFlow
• Traffic flow